DEF=test
EXT=test
TESTDIR=.
KOMPILE_FLAGS=--syntax-module TEST

include ../find-k.mak
include ${K_HOME}/include/kframework/ktest.mak
